Event Driven Software Engineering

Source URL: www.smalsresearch.be

B.S. in Software Engineering Developing an Assessment Plan

Source URL: assessment.uci.edu

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

GEOGRAPHY EDUCATORS’ NETWORK OF INDIANA NEWSLETTER Volume 109, Issue 5 GA! 2009: Europe Beyond Borders

Source URL: www.iupui.edu

• Obfuscation
• Computer programming
• Index of Abkhazia-related articles
• Software engineering
• Classical cipher

BjlposqideADBVCKIEQS Challenges for Map Symbol Standardization in Crisis Management Anthony C. Robinson Robert E. Roth

Source URL: www.geography.wisc.edu

• Standards organizations
• Computing
• Software engineering
• Technology
• American National Standards Institute
• Standards
• Standardization
• ASCII
• International Committee for Information Technology Standards
• C
• Symbol

Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration

Source URL: www.northeastparc.org

• Software engineering
• Programming language theory
• Computer programming
• Haskell
• Literate programming
• PM

2012 StatePrinting Logo (Horizontal)

Source URL: www.generalservices.state.nm.us

• Computer programming
• Software engineering
• Computing
• Functional programming
• Monad
• Cal
• Monotype typefaces

Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx

Source URL: www.videoservicesforum.org

• Computing
• Software engineering
• Engineering
• JT
• Product lifecycle management
• Quantel
• Unified Modeling Language
• Object Process Methodology
• Diagram

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language

DSLs in Haskell Ryan Newton Back-end

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Data types
• Type theory
• Compilers
• Template Haskell
• Haskell
• Generalized algebraic data type
• Metaprogramming